cleanup: Use Meta.Workspace.active property

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1337

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 15e0ab624f7b41e52c31e7ae2959baa410cd535b..2ff1ffdcbbdd8ded143b822dfdbcd7b07cd9e199 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1800,8 +1800,7 @@ var WindowManager = class {
             w.window.get_parent().remove_child(w.window);
             w.parent.add_child(w.window);
 
-            if (w.window.get_meta_window().get_workspace() !=
-                global.workspace_manager.get_active_workspace())
+            if (!w.window.get_meta_window().get_workspace().active)
                 w.window.hide();
         }
         switchData.container.destroy();
@@ -1985,7 +1984,7 @@ var WindowManager = class {
             duration,
             mode: Clutter.AnimationMode.EASE_OUT_CUBIC,
             onComplete: () => {
-                if (newWs !== activeWorkspace)
+                if (!newWs.active)
                     this.actionMoveWorkspace(newWs);
                 this._finishWorkspaceSwitch(switchData);
             },
@@ -2185,10 +2184,7 @@ var WindowManager = class {
         if (!Main.sessionMode.hasWorkspaces)
             return;
 
-        let workspaceManager = global.workspace_manager;
-        let activeWorkspace = workspaceManager.get_active_workspace();
-
-        if (activeWorkspace != workspace)
+        if (!workspace.active)
             workspace.activate(global.get_current_time());
     }
 
@@ -2196,10 +2192,7 @@ var WindowManager = class {
         if (!Main.sessionMode.hasWorkspaces)
             return;
 
-        let workspaceManager = global.workspace_manager;
-        let activeWorkspace = workspaceManager.get_active_workspace();
-
-        if (activeWorkspace != workspace) {
+        if (!workspace.active) {
             // This won't have any effect for "always sticky" windows
             // (like desktop windows or docks)
 

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index e28f67e61b5827d7cf29dbbcc5ea1c96e4a51398..dc1c087ff273b044ff646f0f27ac6d4dc7bbd405 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -601,9 +601,8 @@ class Workspace extends St.Widget {
         let area = padArea(this._actualGeometry, padding);
         let slots = strategy.computeWindowSlots(layout, area);
 
-        let workspaceManager = global.workspace_manager;
-        let currentWorkspace = workspaceManager.get_active_workspace();
-        let isOnCurrentWorkspace = this.metaWorkspace == null || this.metaWorkspace == currentWorkspace;
+        const isOnCurrentWorkspace =
+            this.metaWorkspace === null || this.metaWorkspace.active;
 
         for (let i = 0; i < slots.length; i++) {
             let slot = slots[i];
@@ -861,9 +860,7 @@ class Workspace extends St.Widget {
         if (this._windows.length == 0)
             return;
 
-        let workspaceManager = global.workspace_manager;
-        let activeWorkspace = workspaceManager.get_active_workspace();
-        if (this.metaWorkspace != null && this.metaWorkspace != activeWorkspace)
+        if (this.metaWorkspace !== null && !this.metaWorkspace.active)
             return;
 
         // Special case maximized windows, since it doesn't make sense
@@ -915,9 +912,7 @@ class Workspace extends St.Widget {
             this._repositionWindowsId = 0;
         }
 
-        let workspaceManager = global.workspace_manager;
-        let activeWorkspace = workspaceManager.get_active_workspace();
-        if (this.metaWorkspace != null && this.metaWorkspace != activeWorkspace)
+        if (this.metaWorkspace !== null && !this.metaWorkspace.active)
             return;
 
         // Special case maximized windows, since it doesn't make sense
@@ -981,9 +976,6 @@ class Workspace extends St.Widget {
     }
 
     zoomFromOverview() {
-        let workspaceManager = global.workspace_manager;
-        let currentWorkspace = workspaceManager.get_active_workspace();
-
         this.leavingOverview = true;
 
         for (let i = 0; i < this._windows.length; i++)
@@ -995,7 +987,7 @@ class Workspace extends St.Widget {
         }
         this._overviewHiddenId = Main.overview.connect('hidden', this._doneLeavingOverview.bind(this));
 
-        if (this.metaWorkspace != null && this.metaWorkspace != currentWorkspace)
+        if (this.metaWorkspace !== null && !this.metaWorkspace.active)
             return;
 
         // Position and scale the windows.

diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js
index 73f8b7ec95b6bc8402d474bb210f4bb48e2828d5..611bccfadd37bc052830c4fd0376b8c9956ff9a1 100644 (file)
--- a/js/ui/workspaceThumbnail.js
+++ b/js/ui/workspaceThumbnail.js
@@ -549,9 +549,7 @@ var WorkspaceThumbnail = GObject.registerClass({
             return;
 
         // a click on the already current workspace should go back to the main view
-        let workspaceManager = global.workspace_manager;
-        let activeWorkspace = workspaceManager.get_active_workspace();
-        if (this.metaWorkspace == activeWorkspace)
+        if (this.metaWorkspace.active)
             Main.overview.hide();
         else
             this.metaWorkspace.activate(time);

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index a6098cac412a6a1cdcdfa5a771ead3b13a6caef4..77524ed6bc00af0b3be0aa1de63385b375204b89 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -574,14 +574,13 @@ class WorkspacesDisplay extends St.Widget {
         this._clickAction.release();
 
         let workspaceManager = global.workspace_manager;
-        let activeWorkspace = workspaceManager.get_active_workspace();
         let newWs = workspaceManager.get_workspace_by_index(endProgress);
 
         this._scrollAdjustment.ease(endProgress, {
             mode: Clutter.AnimationMode.EASE_OUT_CUBIC,
             duration,
             onComplete: () => {
-                if (newWs !== activeWorkspace)
+                if (!newWs.active)
                     newWs.activate(global.get_current_time());
                 this._endTouchGesture();
             },